how long is atlantic city boardwalk